totally ramified extension

全分歧扩张